retract

A subspace of a topological space is called a retract of if there is continuous satisfying
in for all , and for all .